Dougherty And
نویسنده
چکیده
A Borel equivalence relation on a Polish space is countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in recursion theory are: recursive isomorphism, Turing equivalence, arithmetic equivalence, etc. There is a canonical hierarchy of complexity of countable Borel equivalence relations imposed by the notion of Borel reducibility. We will survey results and conjectures concerning the problem of identifying the place in this hierarchy of these equivalence relations from recursion theory and also discuss some of their implications. The obvious answer to the question of the title is: continuum many. There is however a different way of looking at this question, which leads to some very interesting open problems in the interface of recursion theory and descriptive set theory. Our goal in this paper is to explain the context in which this and related problems can be formulated, i.e., the theory of Borel equivalence relations, and survey some of the progress to date. 1. Formulation of the problem We denote by ≡T the Turing equivalence relation on P(N) = {X : X ⊆ N}, which we identify with 2, viewing sets as characteristic functions. (We use the standard set-theoretic convention that n = {0, 1, . . . , n − 1} for all natural numbers n.) Then ≡T is a Borel (in fact Σ 0 3) equivalence relation on 2 . We denote by D the quotient space 2N/(≡T ), i.e., the set of Turing degrees. Now consider general Borel equivalence relations on 2 or even arbitraryPolish (separable completely metrizable) spaces. We measure their complexity by studying the following partial (pre)order ofBorel reducibility: if E,F are Borel equivalence relations on X,Y respectively, then a Borel reduction of E into F is a Borel map f : X → Y such that xEy ⇐⇒ f(x)Ff(y). If such an f exists we say that E is Borel reducible to F and denote this by
منابع مشابه
Modeling the Rheological Properties of Carboxymethylcellulose Stabilized O/W Emulsions Based on Sunflower Oil and Tallow Fat
The aim of this research was to assess the effect of fat type and concentration as well as the continuous phase viscosity on the rheological properties of an oil-in-water (O/W) emulsion. Thus, sunflower oil and tallow fat were used as the dispersed phase of the emulsion both at 10 and 50% (w/v) and CMC solutions (at 0.1, 0.3 and 0.5% w/v) were acted as the continuous phase. CMC solutions and em...
متن کاملThe Axenic Cultivation of Rhabditis briggsae Dougherty and Nigon, 1949 (Nematoda : Rhabditidae). I. Experiments with Chick Embryo Juice and Chemically Defined Media
متن کامل
Optimal experimental design for materials discovery
http://dx.doi.org/10.1016/j.commatsci.2016.11.041 0927-0256/ 2016 Elsevier B.V. All rights reserved. ⇑ Corresponding authors at: Department of Electrical and Computer Engineering, Texas A&M University, College Station, TX 77843, USA (R. Dehghannasiri, E.R. Dougherty), Theoretical Division, Los Alamos National Laboratory, Los Alamos, NM 87545, USA (T. Lookman). E-mail addresses: [email protected]...
متن کاملComputer Science Configuration and Deployment Derivation Strategies for Distributed Real-time and Embedded Systems
متن کامل
Brain-computer interface-based control of closed-loop brain stimulation: attitudes and ethical considerations
Brain-computer interface-based control of closedloop brain stimulation: attitudes and ethical considerations Eran Klein, Sara Goering, Josh Gagne, Conor V. Shea, Rachel Franklin, Samuel Zorowitz, Darin D. Dougherty & Alik S. Widge To cite this article: Eran Klein, Sara Goering, Josh Gagne, Conor V. Shea, Rachel Franklin, Samuel Zorowitz, Darin D. Dougherty & Alik S. Widge (2016): Brain-computer...
متن کاملEllsworth C. Dougherty: A Pioneer in the Selection of Caenorhabditis elegans as a Model Organism.
Ellsworth Dougherty (1921-1965) was a man of impressive intellectual dimensions and interests; in a relatively short career he contributed enormously as researcher and scholar to the biological knowledge base for selection of Caenorhabditis elegans as a model organism in neurobiology, genetics, and molecular biology. He helped guide the choice of strains that were eventually used, and, in parti...
متن کامل